Vladimir Voevodsky
Vladimir Voevodsky(ウラジーミル・ヴォエヴォドツキー)は、20世紀初頭から21世紀初頭にかけて活躍した数学者
主に
抽象代数学
、計算幾何学、証明理論などにおいて研究をした
2002年にフィールド賞を受賞し、2012年には国際数学者年賞を受賞
代数的K理論
における
ミルナーの予想
Bloch-Kato予想
2017年に52歳で死去
Univalent Foundations
、
UniMath
を作り上げた？
Coq
の
UniMath
のオリジナル
vladimirias/Foundations: Voevodsky's original development of the univalent foundations of mathematics in Coq
参考
ウラジーミル・ヴォエヴォドスキー - Wikipedia
Vladimir Voevodsky, Fields Medalist, Dies at 51 - IAS News | Institute for Advanced Study
How to pronounce Voevodsky (Russian/Russia) - PronounceNames.com - YouTube
メモ
Voevodskyのインタビュー
Интервью Владимира Воеводского (часть 1)
#数学